[INFO] cloning repository https://github.com/novafacing/yices2-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/novafacing/yices2-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnovafacing%2Fyices2-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnovafacing%2Fyices2-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] dd934423629b84b940c9dc29d19b9a617d18f976
[INFO] checking novafacing/yices2-rs against master#82310651b93a594a3fd69015e1562186a080d94c for pr-145770
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnovafacing%2Fyices2-rs" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-4-tc1/source/.cargo/config.toml
[INFO] started tweaking git repo https://github.com/novafacing/yices2-rs
[INFO] finished tweaking git repo https://github.com/novafacing/yices2-rs
[INFO] tweaked toml for git repo https://github.com/novafacing/yices2-rs written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/novafacing/yices2-rs on toolchain 82310651b93a594a3fd69015e1562186a080d94c
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/novafacing/yices2-rs already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded windows-targets v0.48.2
[INFO] [stderr]   Downloaded thiserror v1.0.46
[INFO] [stderr]   Downloaded xz v0.1.0
[INFO] [stderr]   Downloaded thiserror-impl v1.0.46
[INFO] [stderr]   Downloaded cc v1.0.82
[INFO] [stderr]   Downloaded ctor v0.2.4
[INFO] [stderr]   Downloaded quote v1.0.32
[INFO] [stderr]   Downloaded prettyplease v0.2.12
[INFO] [stderr]   Downloaded aho-corasick v1.0.4
[INFO] [stderr]   Downloaded bindgen v0.66.1
[INFO] [stderr]   Downloaded regex v1.9.3
[INFO] [stderr]   Downloaded syn v2.0.28
[INFO] [stderr]   Downloaded windows_x86_64_gnullvm v0.48.2
[INFO] [stderr]   Downloaded windows_aarch64_gnullvm v0.48.2
[INFO] [stderr]   Downloaded windows_aarch64_msvc v0.48.2
[INFO] [stderr]   Downloaded windows_x86_64_msvc v0.48.2
[INFO] [stderr]   Downloaded regex-automata v0.3.6
[INFO] [stderr]   Downloaded windows_i686_msvc v0.48.2
[INFO] [stderr]   Downloaded windows_x86_64_gnu v0.48.2
[INFO] [stderr]   Downloaded windows_i686_gnu v0.48.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 90f6ff8025af95f644c643dbe0db4bb53081b6205feed58d4b1a2fc5e8df68a0
[INFO] running `Command { std: "docker" "start" "-a" "90f6ff8025af95f644c643dbe0db4bb53081b6205feed58d4b1a2fc5e8df68a0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "90f6ff8025af95f644c643dbe0db4bb53081b6205feed58d4b1a2fc5e8df68a0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "90f6ff8025af95f644c643dbe0db4bb53081b6205feed58d4b1a2fc5e8df68a0", kill_on_drop: false }`
[INFO] [stdout] 90f6ff8025af95f644c643dbe0db4bb53081b6205feed58d4b1a2fc5e8df68a0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 08206f4dd0051216445895d9d7a4a019c050850acfd5abe392d18be5a5c996ba
[INFO] running `Command { std: "docker" "start" "-a" "08206f4dd0051216445895d9d7a4a019c050850acfd5abe392d18be5a5c996ba", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.147
[INFO] [stderr]    Compiling proc-macro2 v1.0.66
[INFO] [stderr]    Compiling unicode-ident v1.0.11
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling pkg-config v0.3.27
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling prettyplease v0.2.12
[INFO] [stderr]    Compiling crc32fast v1.3.2
[INFO] [stderr]    Compiling regex-syntax v0.7.4
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling anyhow v1.0.75
[INFO] [stderr]    Compiling either v1.9.0
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling adler v1.0.2
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling libloading v0.7.4
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling miniz_oxide v0.7.1
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling bitflags v2.4.0
[INFO] [stderr]    Compiling log v0.4.20
[INFO] [stderr]    Compiling thiserror v1.0.46
[INFO] [stderr]    Compiling paste v1.0.14
[INFO] [stderr]    Compiling clang-sys v1.6.1
[INFO] [stderr]     Checking itertools v0.11.0
[INFO] [stderr]    Compiling flate2 v1.0.27
[INFO] [stderr]    Compiling quote v1.0.32
[INFO] [stderr]    Compiling syn v2.0.28
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling cc v1.0.82
[INFO] [stderr]    Compiling filetime v0.2.22
[INFO] [stderr]    Compiling xattr v1.0.1
[INFO] [stderr]    Compiling which v4.4.0
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling tar v0.4.40
[INFO] [stderr]    Compiling lzma-sys v0.1.20
[INFO] [stderr]    Compiling regex-automata v0.3.6
[INFO] [stderr]    Compiling xz2 v0.1.7
[INFO] [stderr]    Compiling xz v0.1.0
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling regex v1.9.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.46
[INFO] [stderr]    Compiling ctor v0.2.4
[INFO] [stderr]    Compiling yices2-sys v2.6.4-patch.1 (/opt/rustwide/workdir/yices2-sys)
[INFO] [stderr] error: failed to run custom build command for `yices2-sys v2.6.4-patch.1 (/opt/rustwide/workdir/yices2-sys)`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/yices2-sys-996456f91017e1e8/build-script-build` (exit status: 1)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   cargo:rerun-if-changed=build.rs
[INFO] [stderr]   cargo:rerun-if-changed=third-party/*
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   Error: Command failed with status code exit status: 2:
[INFO] [stderr]   stdout: [  0%] Building C object src/CMakeFiles/poly.dir/utils/debug_trace.c.o
[INFO] [stderr]   [  1%] Building C object src/CMakeFiles/poly.dir/utils/assignment.c.o
[INFO] [stderr]   [  1%] Building C object src/CMakeFiles/poly.dir/utils/statistics.c.o
[INFO] [stderr]   [  2%] Building C object src/CMakeFiles/poly.dir/utils/output.c.o
[INFO] [stderr]   [  2%] Building C object src/CMakeFiles/poly.dir/utils/sign_condition.c.o
[INFO] [stderr]   [  3%] Building C object src/CMakeFiles/poly.dir/utils/u_memstream.c.o
[INFO] [stderr]   [  3%] Building C object src/CMakeFiles/poly.dir/number/integer.c.o
[INFO] [stderr]   [  4%] Building C object src/CMakeFiles/poly.dir/number/rational.c.o
[INFO] [stderr]   [  4%] Building C object src/CMakeFiles/poly.dir/number/dyadic_rational.c.o
[INFO] [stderr]   [  5%] Building C object src/CMakeFiles/poly.dir/number/algebraic_number.c.o
[INFO] [stderr]   [  5%] Building C object src/CMakeFiles/poly.dir/number/value.c.o
[INFO] [stderr]   [  6%] Building C object src/CMakeFiles/poly.dir/interval/interval.c.o
[INFO] [stderr]   [  6%] Building C object src/CMakeFiles/poly.dir/interval/arithmetic.c.o
[INFO] [stderr]   [  7%] Building C object src/CMakeFiles/poly.dir/variable/variable_db.c.o
[INFO] [stderr]   [  7%] Building C object src/CMakeFiles/poly.dir/variable/variable_list.c.o
[INFO] [stderr]   [  8%] Building C object src/CMakeFiles/poly.dir/variable/variable_order.c.o
[INFO] [stderr]   [  8%] Building C object src/CMakeFiles/poly.dir/upolynomial/umonomial.c.o
[INFO] [stderr]   [  9%] Building C object src/CMakeFiles/poly.dir/upolynomial/upolynomial.c.o
[INFO] [stderr]   [  9%] Building C object src/CMakeFiles/poly.dir/upolynomial/output.c.o
[INFO] [stderr]   [ 10%] Building C object src/CMakeFiles/poly.dir/upolynomial/upolynomial_dense.c.o
[INFO] [stderr]   [ 10%] Building C object src/CMakeFiles/poly.dir/upolynomial/bounds.c.o
[INFO] [stderr]   [ 11%] Building C object src/CMakeFiles/poly.dir/upolynomial/gcd.c.o
[INFO] [stderr]   [ 11%] Building C object src/CMakeFiles/poly.dir/upolynomial/factors.c.o
[INFO] [stderr]   [ 12%] Building C object src/CMakeFiles/poly.dir/upolynomial/factorization.c.o
[INFO] [stderr]   [ 12%] Building C object src/CMakeFiles/poly.dir/upolynomial/root_finding.c.o
[INFO] [stderr]   [ 13%] Building C object src/CMakeFiles/poly.dir/polynomial/monomial.c.o
[INFO] [stderr]   [ 13%] Building C object src/CMakeFiles/poly.dir/polynomial/coefficient.c.o
[INFO] [stderr]   [ 14%] Building C object src/CMakeFiles/poly.dir/polynomial/output.c.o
[INFO] [stderr]   [ 14%] Building C object src/CMakeFiles/poly.dir/polynomial/gcd.c.o
[INFO] [stderr]   [ 15%] Building C object src/CMakeFiles/poly.dir/polynomial/psc.c.o
[INFO] [stderr]   [ 15%] Building C object src/CMakeFiles/poly.dir/polynomial/factorization.c.o
[INFO] [stderr]   [ 16%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial.c.o
[INFO] [stderr]   [ 16%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_context.c.o
[INFO] [stderr]   [ 17%] Building C object src/CMakeFiles/poly.dir/polynomial/feasibility_set.c.o
[INFO] [stderr]   [ 17%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_hash_set.c.o
[INFO] [stderr]   [ 18%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_vector.c.o
[INFO] [stderr]   [ 18%] Building C object src/CMakeFiles/poly.dir/poly.c.o
[INFO] [stderr]   [ 19%] Linking C shared library libpoly.so
[INFO] [stderr]   [ 19%] Built target poly
[INFO] [stderr]   [ 19%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/algebraic_number.cpp.o
[INFO] [stderr]   [ 20%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/assignment.cpp.o
[INFO] [stderr]   [ 20%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/context.cpp.o
[INFO] [stderr]   [ 21%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/dyadic_interval.cpp.o
[INFO] [stderr]   [ 21%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/dyadic_rational.cpp.o
[INFO] [stderr]   [ 22%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/integer_ring.cpp.o
[INFO] [stderr]   [ 22%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/integer.cpp.o
[INFO] [stderr]   [ 23%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/interval_assignment.cpp.o
[INFO] [stderr]   [ 23%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/interval.cpp.o
[INFO] [stderr]   [ 24%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/polynomial.cpp.o
[INFO] [stderr] 
[INFO] [stderr]   stderr: /opt/rustwide/target/debug/build/yices2-sys-720293b03bc99883/out/libpoly-0.1.13/src/polyxx/polynomial.cpp:361:26: error: variable length arrays in C++ are a Clang extension [-Werror,-Wvla-cxx-extension]
[INFO] [stderr]     361 |     lp_polynomial_t* tmp[size];
[INFO] [stderr]         |                          ^~~~
[INFO] [stderr]   /opt/rustwide/target/debug/build/yices2-sys-720293b03bc99883/out/libpoly-0.1.13/src/polyxx/polynomial.cpp:361:26: note: read of non-const variable 'size' is not allowed in a constant expression
[INFO] [stderr]   /opt/rustwide/target/debug/build/yices2-sys-720293b03bc99883/out/libpoly-0.1.13/src/polyxx/polynomial.cpp:360:17: note: declared here
[INFO] [stderr]     360 |     std::size_t size = std::min(degree(p), degree(q)) + 1;
[INFO] [stderr]         |                 ^
[INFO] [stderr]   1 error generated.
[INFO] [stderr]   gmake[2]: *** [src/CMakeFiles/polyxx.dir/build.make:202: src/CMakeFiles/polyxx.dir/polyxx/polynomial.cpp.o] Error 1
[INFO] [stderr]   gmake[1]: *** [CMakeFiles/Makefile2:194: src/CMakeFiles/polyxx.dir/all] Error 2
[INFO] [stderr]   gmake: *** [Makefile:146: all] Error 2
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   Stack backtrace:
[INFO] [stderr]      0: anyhow::error::<impl anyhow::Error>::msg
[INFO] [stderr]      1: build_script_build::check_command::{{closure}}
[INFO] [stderr]      2: core::result::Result<T,E>::and_then
[INFO] [stderr]      3: build_script_build::check_command
[INFO] [stderr]      4: build_script_build::build_poly
[INFO] [stderr]      5: build_script_build::main
[INFO] [stderr]      6: core::ops::function::FnOnce::call_once
[INFO] [stderr]      7: std::sys::backtrace::__rust_begin_short_backtrace
[INFO] [stderr]      8: std::rt::lang_start::{{closure}}
[INFO] [stderr]      9: core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once
[INFO] [stderr]                at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/core/src/ops/function.rs:290:21
[INFO] [stderr]     10: std::panicking::catch_unwind::do_call
[INFO] [stderr]                at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:589:40
[INFO] [stderr]     11: std::panicking::catch_unwind
[INFO] [stderr]                at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:552:19
[INFO] [stderr]     12: std::panic::catch_unwind
[INFO] [stderr]                at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panic.rs:359:14
[INFO] [stderr]     13: std::rt::lang_start_internal::{{closure}}
[INFO] [stderr]                at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/rt.rs:175:24
[INFO] [stderr]     14: std::panicking::catch_unwind::do_call
[INFO] [stderr]                at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:589:40
[INFO] [stderr]     15: std::panicking::catch_unwind
[INFO] [stderr]                at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:552:19
[INFO] [stderr]     16: std::panic::catch_unwind
[INFO] [stderr]                at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panic.rs:359:14
[INFO] [stderr]     17: std::rt::lang_start_internal
[INFO] [stderr]                at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/rt.rs:171:5
[INFO] [stderr]     18: std::rt::lang_start
[INFO] [stderr]     19: main
[INFO] [stderr]     20: <unknown>
[INFO] [stderr]     21: __libc_start_main
[INFO] [stderr]     22: _start
[INFO] running `Command { std: "docker" "inspect" "08206f4dd0051216445895d9d7a4a019c050850acfd5abe392d18be5a5c996ba", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "08206f4dd0051216445895d9d7a4a019c050850acfd5abe392d18be5a5c996ba", kill_on_drop: false }`
[INFO] [stdout] 08206f4dd0051216445895d9d7a4a019c050850acfd5abe392d18be5a5c996ba
